upper bound and the maximum element in a set